Issue2291-instance.agda:3,12-17
Could not parse the left-hand side ⦃ _ ⦄
Operators used in the grammar:
  None
when scope checking let ⦃ _ ⦄ = _ in _
